//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#include <ddk.h>

EXTERN_C void CDECL DDK_PRINT_BLOCK_START(const char *);

EXTERN_C void CDECL DDK_PRINT_BLOCK_END();

EXTERN_C void CDECL DDK_PRINT_LINE_START(const char *);

EXTERN_C void CDECL DDK_PRINT_LINE_END();
